AVIACC

Analysis and Verification of Critical Concurrent Programs

Cancel

Search: ^p

Research/Aviacc Web	Changed	Changed by

ProjectSummary	18 Feb 2013 - 18:51 - NEW	JorgeSousaPinto
Project Summary The formal verification of software is increasingly important in software engineering, particularly in the context of critical applications, which ...

Publications	04 Jan 2016 - 18:00 - r15	JorgeSousaPinto
Currently submitted André de Matos Pedro, David Pereira, Luís Miguel Pinho, and Jorge Sousa Pinto. Monitoring for a decidable fragment of MTL #1113091;S. Submitted ...

Found 2 topics.

Syndicate this site RSS ATOM